A nonzero element <i>a</i> of an integral domain <i>D</i> is called an irreducible if <i>a</i> is not a unit and, whenever <i>b, c</i> belong to <i>
D</I>
with <i>a + bc</I>, then <i>b</I> or <i>c</i> is a unit.